Abstraction , Refinement , Enrichment
نویسنده
چکیده
ion, Refinement, Enrichment
منابع مشابه
3D-centered Media Linking and Semantic Enrichment through Integrated Searching, Browsing, Viewing and Annotating
The digitally documented world heritage is archived in databases or repositories, where collections of metadata, images, multimedia objects or nowadays even digital 3D artifacts can be stored and queried. Modeling and linking all this information is complex and involves refined categorizations and relations, which are usually accessed by either simplistic or overwhelmingly complex interfaces. H...
متن کاملCover interpolation functions and h-enrichment in finite element method
This paper presents a method to improve the generation of meshes and the accuracy of numerical solutions of elasticity problems, in which two techniques of h-refinement and enrichment are used by interpolation cover functions. Initially, regions which possess desired accuracy are detected. Mesh improvment is done through h-refinement for the elements existing in those regions. Total error of th...
متن کاملNon-monotonic Refinement of Control Abstraction for Concurrent Programs
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universität München Abstract. Verification based on abstraction refinement is a successful technique for checking program properties. Conventional abstraction refinement schemes increase precision of the abstraction monotonically, and therefore cannot recover from overly precise refinement decisions. ...
متن کاملProgressive Representation and Progressive Generalization of Street Network Vector Data
Street network vector data is represented as Regular Closed Network. The combinatorial structure of the Regular Closed Network is modelled through abstract cell complex. Two abstraction operators and two refinement updates are cited to define the street elimination operator and street refinement operator. Two alternative progressive representation models for street network vector data are propo...
متن کاملPartial Predicate Abstraction and Counter-Example Guided Refinement
In this paper we present a counter-example guided abstraction and approximation refinement (CEGAAR) technique for {\em partial predicate abstraction}, which combines predicate abstraction and fixpoint approximations for model checking infinite-state systems. The proposed approach incrementally considers growing sets of predicates for abstraction refinement. The novelty of the approach stems fro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013